The notion of habit used in neuroscience is an inheritance from a particular theoretical origin, whose main source is William James. Thus, habits have been characterized as rigid, automatic, unconscious, and opposed to goal-directed actions. This analysis leaves unexplained several aspects of human behavior and cognition where habits are of great importance. We intend to demonstrate the utility that another philosophical conception of habit, the Aristotelian, may have for neuroscientific research. We first summarize the current notion of habit in neuroscience, (...) its philosophical inspiration and the problems that arise from it, mostly centered on the sharp distinction between goal-directed actions and habitual behavior. We then introduce the Aristotelian view and we compare it with that of William James. For Aristotle, a habit is an acquired disposition to perform certain types of action. If this disposition involves an enhanced cognitive control of actions, it can be considered a “habit-as-learning”. The current view of habit in neuroscience, which lacks cognitive control and we term “habit-as-routine”, is also covered by the Aristotelian conception. He classifies habits into three categories: (1) theoretical, or the retention of learning understood as “knowing that x is so”; (2) behavioral, through which the agent achieves a rational control of emotion-permeated behavior (“knowing how to behave”); and (3) technical or learned skills (“knowing how to make or to do”). Finally, we propose new areas of research where this “novel” conception of habit could serve as a framework concept, from the cognitive enrichment of actions to the role of habits in pathological conditions. In all, this contribution may shed light on the understanding of habits as an important feature of human action. Habits, viewed as a cognitive enrichment of behavior, are a crucial resource for understanding human learning and behavioral plasticity. (shrink)

La confianza ciega ya no corre. Estamos en tiempos de crisis. La pérdida de confianza está generalizada, va desde lo privado a lo público. Pasa por las desconfianzas políticas, los organismos financieros y llega hasta nuestros líderes espirituales. La ruptura de la confianza, sobre todo ante situaciones de abuso, muchas veces parece definitiva, pero vivir en la total desconfianza es imposible. Conocido por haber denunciado públicamente los abusos de un poderoso sacerdote chileno, el filósofo José Andrés Murillo ha creado (...) el concepto de confianza lúcida, que limita con la desconfianza por un lado y con la confianza ciega por el otro. La confianza lúcida es el centro de este libro que surge en días marcados por el rechazo a los abusos de poder, la desconfianza, el miedo y la obsesión por la seguridad. Una declaración de principios según la cual ningún abuso tiene derecho a robar lo más preciado del ser humano: Confiar en otros y en uno mismo. (shrink)

Materialism has been the subject of extensive and rich controversies since Robert Boyle introduced the term for the first time in the 17th century. But what is materialism and what can it offer today? The term is usually defined as the worldview according to which everything real is material. Nevertheless, there is no philosophical consensus about whether the meaning of matter can be enlarged beyond the physical. As a consequence, materialism is often defined in stark exclusive and reductionist terms: whatever (...) exists is either physical or ontologically reducible to it. This conception, if consistent, mutilates reality, excluding the ontological significance of political, economic, sociocultural, anthropological and psychological realities. Starting from a new history of materialism, the present book focuses on the central ontological and epistemological debates aroused by today’s leading materialist approaches, including some little known to an anglophone readership. The key concepts of matter, system, emergence, space and time, life, mind, and software are checked over and updated. Controversial issues such as the nature of mathematics and the place of reductionism are also discussed from different materialist approaches. As a result, materialism emerges as a powerful, indispensable scientifically-supported worldview with a surprising wealth of nuances and possibilities. (shrink)

El objetivo del artículo es exponerla evolución de Ernesto Laclau del marxismo al posmarxismo entendida como transición de una categoría de totalidad marxista-althusseriana a la de totalidad como práctica discursiva. Esta interpretación se sostiene en la recuperación de la obra temprana de Laclau (aquella ubicada entre Política e ideología en la teoría marxista y Hegemonía y estrategia socialista), lo que permite apreciar rupturas y continuidad es en su obra y problematizarla periodización de su biografía intelectual.

La discusión acerca de la pospolítica que encontramos en autores como Mouffe, Rancière, Žižek reduce la cuestión a una negación del antagonismo y al diagnóstico del presente político como un triunfo del modelo consensual-liberal. El presente artículo tiene por objetivo desplazar la noción de pospolítica hacia otros horizontes de discusión del pensamiento político contemporáneo. Para ello proponemos el concepto de escenarios pospolíticos en el cual se agrupan diferentes descripciones del mundo donde se plantea la ausencia, posible o actual, de lo (...) político. Con esto se busca llevar la discusión sobre la pospolítica más allá del marco actual que la restringe a un debate con el liberalismo y a las consecuencias del neoliberalismo sobre la imaginación y las prácticas políticas presentes. (shrink)

Education moves in the space of distance between those who are coming into the world and the world that they arrive. Since Modern Age, this distance formed by the opposing subject and object, has tended to be an impassable abyss. In this way, the world unfolds in two: the world whose image under investigation in the field of Education is the blackboard, and the world of everyday life. In front of the blackboard the student is installed, constituted as a subject, (...) which should curtail the reality until it fits with the security and accuracy of mathematical world-object-blackboard. The world of ordinary life is there and education does not know what to deal with it, and have it for non-existent. The reality held by non-existent prevents people’s existential integration. But there’s another kind of Educations that integrates and includes subjective and objective world and needs the courage to accept and even demand the new perspectives of those who are coming to build a more complete and always risky world. (shrink)

This paper starts briefly presenting the “ontological pillars” above which Gustavo Bueno’s philosophical materialism stands as a discontinous materialism. After this, I analyze some important philosophical problems related to the ontological idea of discontinuity, such as the classical problems about Diodorus Cronus’ Master Argument and the future contingents, the “relationship between the brain and the mind”, and the ontological structure of death. Finally, this paper analyzes the utility of offering a new tipology of the main types of ontological discontinuities that (...) we can find in reality. Since Bueno’s philosophy holds the discontinous structure of matter, my paper defends the convenience of solving these problems in the future in order to expand the philosophical capacity of this worldview. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Nuestro interés en el contenido mental no-conceptual es, principalmente, la articulación de una versión sustantiva (no-trivial) de esta clase de contenido en la experiencia perceptual. El debate acerca del contenido no-conceptual ha girado, en su mayor parte, alrededor de su existencia; y los argumentos que se han ofrecido en su favor abogan por una versión no sustantiva según la cual el contenido no-conceptual es aquel que no satisface ciertos requisitos conceptuales. Así, para desarrollar una versión sustantiva del contenido mental no-conceptual (...) hemos apelado a la versión de la experiencia perceptual de propiedades espaciales ofrecida por Evans (1982 cap. 6). A partir de esto desarrollamos un nuevo argumento a favor del contenido no-conceptual de la experiencia perceptual que lo vincula a la actividad característica de la experiencia perceptual. Por último, exponemos uno de los ataques de McDowell (1996) a la noción de contenido no-conceptual y presentamos nuestras réplicas a este ataque, mostrando su insuficiencia. Al mostrar que la crítica de McDowell no es exitosa, consideramos que podríamos tener una versión del contenido no-conceptual de la experiencia que es inmune a esta línea de argumentación. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

This is not a guide for your writing process. You should write in whatever way expressing and making sense of your ideas feels most natural and most productive to you. This is a guide for organizing your ideas, after you have captured some of them in fits and starts of prose, into a particular kind of final product: the basic philosophy paper.

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

The paper is concerned with the rational requirements for suspended judgment, or what suspending judgment about a question rationally commits one to. It shows that two purported rational requirements for suspended judgment cannot both be true at the same time, at least when the entailment relation between questions is understood a certain way. The first one says that one is rationally required to suspend judgment about those questions that are entailed by the questions that one already suspends judgment about. The (...) second one says that one is rationally required to believe the presuppositions of the questions one suspends judgment about. Two plausible solutions to the problem are discussed. One of them explicates the relation of entailment between questions in an alternative manner, and the other one rejects the presupposition requirement. Either way, a closure requirement for suspended judgment can be maintained which is analogous to the closure requirement for belief. Whereas belief is ideally closed under entailment between propositions, suspended judgment is ideally closed under entailment between questions. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

Throughout our entire evolutionary history, the physical environment has played a significant role in shaping humans’ subsistence adaptations. As early humans began to colonise novel biomes and construct ecological niches, their behavioural flexibility appeared as an unquestionable fact. During the Late Pleistocene-Holocene transition, the shift from foraging to farming radically altered ecosystem services, resulting in increased exposure to zoonotic pathogens and the emergence of structural inequalities that pervade our current human condition in the Anthropocene epoch. The article seeks to use (...) an anthropological biosocial analysis to explore the diverse evolutionary paths humans have taken, which in turn shape their relationships with the natural world. Given the enigmatic nature of human behavior, it is essential to examine it holistically to understand how different subsistence patterns (e.g., intensive agriculture, foraging, and horticulture) have influenced resilience and adaptation to environmental challenges. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Epistemologists often describe subjects as being capable of adopting a third kind of categorical doxastic stance regarding whether something is the case, besides belief and disbelief. They deploy a variety of idioms in order to ascribe that stance. In this paper, I flesh out the properties that the third kind of categorical stance is supposed to have and start searching for the best ways to ascribe it. The idioms ‘suspends judgment about whether’ and ‘is agnostic about whether’, among others, are (...) found to be unfit to play the desired role. In the end, I suggest that ‘is in doubt as to whether’ is our best choice among the alternatives surveyed here. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

Berkeley was a philosopher who wrote about such diverse topics as natural philosophy, political philosophy, mathematics, economy, and theology. Within this broad range of interests, his concern about the infinite spirit stands out; thus, the aim of this paper is to trace the origins of Berkeley´s conception of God, an issue which is already prefigured in the Philosophical Commentaries. The importance of knowing and analyze the notes that make up the Commentaries lies in that they make it possible to understand (...) not only how the incipient immaterialist philosophy was established, but above all –being purpose of this paper– what features and role God acquired within it. (shrink)

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I briefly explain three versions of these arguments from evil (two from William Rowe and one from Paul Draper) and the three versions of skeptical theism tailor-made to block them (from Stephen Wykstra, Michael Bergmann, and (...) Peter van Inwagen). (shrink)

I reinforce my defense of permissivism about the rationality of doxastic attitudes on the face of a certain body of evidence against criticism published in this journal by Anantharaman. After making some conceptual clarifications, I manage to show that at least one of my original arguments pro-permissivism is left unscathed by Anantharaman's points.

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I consider four challenges to three central versions of skeptical theism: (a) the problem of generalized skepticism, (b) the problem of moral skepticism, (c) the problem of unqualified modal skepticism, and (d) the challenge from Bayesian (...) epistemology. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

The aim of this article is to advance the idea according to which the Cartesian Cogito, the ground of modern philosophy and the source of the notion of thinking subject, is tributary of a certain method whose legitimation is grounded in western history. According to this hypothesis, there is a certain tool that plays a fundamental role in the production of this new philosophical notion: the dream. The argument will be developed in four parts. We will first proceed to (i) (...) an analysis of the role of the hypothesis of the dream in the formulation of the notion of res cogitans, what will bring us to (ii) an exploration of the conception of private world supposed by such a hypothesis so as to (iii) clarify the specificity of the Cartesian notion of knowledge, a knowledge that must be acquirable in a dream; in conclusion (iv) we will indicate in a schematic way the historic-cultural anchor of the Cartesian dream where the subject is originated. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)